Glomerular zippers and ports?

Leucine Zippers

The leucine zipper (ZIP) motif consists of a periodic repetition of a leucine residue at every seventh position and forms an a-helical conformation, which facilitates dimerization and in some cases higher oligomerization of proteins. Inmany eukaryotic gene regulatory proteins, the ZIP motif is flanked at its N-terminus by a basic region containing characteristic residues that facilitate DNA bin...

Ports Output Ports

Instantiations, Zippers and EPR Interpolation

This paper describes interpolation procedures for EPR. In principle, interpolation for EPR is simple: It is a special case of first-order interpolation. In practice, we would like procedures that take advantage of properties of EPR: EPR admits finite models and those models are sometimes possible to describe very compactly. Inspired by procedures for propositional logic that use models and core...

Polyominoes simulating arbitrary-neighborhood zippers and tilings

This paper provides a bridge between the classical tiling theory and cellular automata on one side, and the complex neighborhood self-assembling situations that exist in practice, on the other side. A neighborhood N is a finite set of pairs (i, j) ∈ Z, indicating that the neighbors of a position (x, y) are the positions (x + i, y + j) for (i, j) ∈ N . This includes classical neighborhoods of si...

Functional Pearl: Scrap Your Zippers

The “zipper” data type provides the ability for editing tree shaped data in a pure functional setting and has found many uses and applications. However the traditional zipper has two major limitations. First, requires a significant amount of boilerplate code to implement. Second, it can only operate on homogeneous data types. Data structures where there are multiple node types are beyond the ra...